<? 
	echo '<option value="">请选择...</option>';
	foreach ($options as $option) {
		echo '<option value="'.$option['name'].'" ';
		if (isset($set_value) && (($set_value) == $option['name']))	// 后半句是为了区分类似default, 空串等特殊值
			echo " selected";	// 默认选项
		echo '>'.$option['name'].'</option>';
		echo "\n"; 
	}
